One of a family of synchronous languages which are particularly well-suited to programming reactive systems, including real-time systems and control automata.
CSP is a language for describing patterns of interaction. A book by Tony Hoare introducing the language and the mathematical theory behind it is available in PDF format.
A language for Deeply Networked Systems, implemented as a C extension based on structuring concepts and execution model of TinyOS, an event-driven OS for sensor network nodes with very limited resources: 8K bytes program memory, 512 bytes RAM.
MC# (Multiprocessor C#) is a high-level object-oriented language based on .NET platform made for developing complex industrial program systems that can use multiprocessors.
C# extension with async- and movable methods, channels and handlers for concurrent programming on the all types of parallel architectures: multi-core processors, clusters and Grid. Manual, papers, examples, distribution downloads for Windows and Linux.
Fault-tolerant projects, goal: enhance language support for distributed programs with FT needs, most high-level languages lack good support for such, more so at system level; 3 projects described, FT-SR, FT-Linda, FTAG.